Hex (board game)

The Game of Hex

A rendering of a Hex game on a 19x19 board
Players 2
Age range 4+
Setup time none
Playing time 15 minutes (11x11 board)
Random chance None
Skill(s) required Tactics, strategy, position

Hex is a board game played on a hexagonal grid, theoretically of any size and several possible shapes, but traditionally as an 11x11 rhombus. Other popular dimensions are 13x13 and 19x19 as a result of the game's relationship to the older game of Go. According to the book A Beautiful Mind, John Nash (one of the game's inventors) advocated 14x14 as the optimal size.

Contents

History

The game was invented by the Danish mathematician Piet Hein, who introduced it in 1942 at the Niels Bohr Institute. It was independently re-invented in 1947 by the mathematician John Nash at Princeton University. It became known in Denmark under the name Polygon (though Hein called it CON-TAC-TIX); Nash's fellow players at first called the game Nash. According to Martin Gardner, some of the Princeton University students also referred to the game as John (according to some sources this was because they played the game using the mosaic of the bathroom floor). However, according to Sylvia Nasar's biography of John Forbes Nash A Beautiful Mind, the game was referred to as "Nash" or "John" after its apparent creator. John Nash was said to have thought of this game, independent of Hein's, during his graduate years at Princeton. In 1952 Parker Brothers marketed a version. They called their version "Hex" and the name stuck.[1]

Hex is an abstract strategy game that belongs to the general category of "connection" games. Other connection games include Omni, Y and Havannah. All of these games bear varying degrees of similarity to the ancient Asian game of Go.

Rules

Each player has an allocated color, Red and Blue or White and Black[1] being conventional. Players take turns placing a stone of their color on a single cell within the overall playing board. The goal is to form a connected path of your stones linking the opposing sides of the board marked by your colors, before your opponent connects his or her sides in a similar fashion. The first player to complete his or her connection wins the game. The four corner hexagons each belong to both adjacent sides.

Since the first player to move in Hex has a distinct advantage, the pie rule is generally implemented for fairness. This rule allows the second player to choose whether to switch positions with the first player after the first player makes the first move.

Strategy

The game can never end in a tie, a fact proved by John Nash: the only way to prevent your opponent from forming a connecting path is to form a path yourself. In other words, Hex is a determined game.

When the sides of the grid are equal, the game favors the first player. A standard non-constructive strategy-stealing argument proves that the first player has a winning strategy as follows:

Since Hex is a finite, perfect information game that cannot end in a tie, either the first or second player must possess a winning strategy. Note that an extra move for either player in any position can only improve that player's position. Therefore, if the second player has a winning strategy, the first player could "steal" it by making an irrelevant move, and then follow the second player's strategy. If the strategy ever called for moving on the square already chosen, the first player can then make another arbitrary move. This ensures a first player win.

One might attempt to compensate for the second player's disadvantage by making the second player's sides closer together, playing on a parallelogram rather than a rhombus. However, using a simple pairing strategy, this has been proven to result in an easy win for the second player.[2]

Bridges and connections

Two (groups of) stones are safely connected if nothing can stop them from being connected even if the opponent has the next move. One example of this is the bridge. Let A, B, C and D be the hexes that make up a rhombus, with A and C being the non-touching pair.

To form a bridge, a player places stones at A and C, leaving B and D empty. If the opponent places a stone at B or D, the remaining hex can be filled to join the original two stones into a single group. This strategy is very useful throughout the game.

Paths

Two groups of stones are said to be n-connected if you can connect them safely in n moves (or, more precisely, the number of moves you must make in order to safely connect the two groups minus the number of moves your opponent makes is n). Safely connected stones, such as adjacent stones are 0-connected. Bridges are also 0-connected. The lower n is, the better for you.

A path consists of two (or more) groups of stones and an empty-point set, which is the set of empty hexes that are required for the given connections. For example, the bridge path consists of the (one-member) group of stones at A and another (one-member) group of stones at C. The empty-point set is made up of the hexes B and D. For two paths to coexist and maintain the level of connectivity they have while independent, their empty-point sets must not contain any of the same hexes (otherwise the opponent could play there).

Two 1-connected paths can be consolidated together if the two groups of stones they start and end in are the same and their empty-point sets do not overlap.

Templates

An important concept in the theory of Hex is the template. Templates can be considered a special type of 0-connected path where one of the groups of stones is the edge that you are trying to connect to.

Ladders

Ladders are sequences of forcing moves where stones are placed in two parallel lines. They can be considered normal edge templates and can be analyzed using path analysis in the same way that bridges, paths, and templates can.

Theory and proofs

Hex is a connection game, and can be classified as a Maker-Breaker game, a particular type of positional game.

John Nash proved in 1952 that a game of Hex cannot end in a tie, and that for a symmetric board there exists a winning strategy for the player who makes the first move (by the strategy-stealing argument). However, the argument is non-constructive : it only shows the existence of a winning strategy, without describing it explicitly. Finding an explicit strategy has been the main subject of research since then.

An explicit winning strategy with a pairing argument exists on non-symmetrical nxm boards, which leaves only symmetrical nxn boards as the center of interest.

In 1981, Stefan Reisch proved that generalized Hex on a nxn board is PSPACE-complete[3]. In the computational complexity theory, it is widely conjectured that PSPACE-complete problems cannot be solved with efficient (polynomial) algorithms. This result limits the efficiency of the best possible algorithms when considering boards of arbitrary size, but it doesn't rule out the possibility of computing explicit strategies on small boards of a given size.

In 2002, Jing Yang, Simon Liao and Mirek Pawlak found an explicit winning strategy for the first player on Hex boards of size 7x7[4]. They extended the method to the 8x8 and 9x9 boards in 2003.

In 2009, Philip Henderson, Broderick Arneson and Ryan B. Hayward completed the analysis of the 8x8 board with a computer search, solving all the possible openings[5]. The same team has solved most 9x9 openings, but some of them are still unknown.

The determinacy of Hex has other mathematical consequences: it can be used to prove the two-dimensional Brouwer fixed point theorem, as David Gale showed in 1979,[6] and the determinacy of higher-dimensional variants proves the fixed-point theorem in general.

Variants

Blockbusters

Hex had an incarnation as the question board from the television game show Blockbusters. In order to play a "move", contestants had to answer a question correctly. The board had 5 alternating columns of 4 hexagons; the solo player could connect top-to-bottom in 4 moves, while the team of two could connect left-to-right in 5 moves.

The games of Y and Havannah

The game of Y is a generalization of Hex to the extent that any position on a Hex board can be represented as an equivalent position on a larger Y board.

Havannah has some similarities to Hex, but the winning structures (target of game) are different.

Mind Ninja

Mind Ninja is another game that is a generalization of Hex, albeit a rather broad one. As in Hex, two players vie to create mutually exclusive patterns by filling in cells of a tiled surface. In Mind Ninja, however, the players themselves define the patterns, subject to certain constraints. Mind Ninja differs from Hex also in that it can be played on any tiled surface, and each player may fill in a cell with any available color, rather than just one.[7]

Chameleon

Utilizing the same board and pieces as Hex, Chameleon gives the players the option of placing a piece of either color on the board. One player is attempting to connect the north and south edges, and the other is attempting to connect the east and west edges. The game is won when a connection between a player's goal edges is formed using either color. If a piece is placed that creates a connection between both players' goal edges (i.e. all edges are connected), the winner is the player who placed the final piece.

Chameleon is described in Cameron Browne's book Connection Games: Variations on a Theme (2005) and was independently discovered by Randy Cox and Bill Taylor.

The Shannon Switching game

The Shannon switching game involves two players coloring the edges of an arbitrary graph, each attempting to connect two distinguished vertices with edges of his/her color. It was invented by "the father of information theory", Claude Shannon. A rectangular grid is commonly used for the graph; in this form the game was independently invented by David Gale, and has been known as Gale, Bridg-It, and Bird Cage.

Unlike Hex, this game is not PSPACE hard.

Pex

Pex is nearly identical to Hex, except that it's played on a rhombus-shaped tiling of irregular pentagons, instead of regular hexagons. Pex's tiling is notable for the fact that half of the pentagons each connect to seven adjacent neighbors, while the other half each connect to only to five neighbors. Pex's tactics are said to be much sharper than those of Hex.[8]

Hecks

Hecks is yet another variant of Hex in which the tiles of the square board are irregular polygons and the graph formed by polygon edges is trivalent, i.e. each node has precisely three incident arcs. The trivalence condition is meant to avoid the decision about the validity of the contact between two tiles that share only a vertex. An interesting aspect of Hecks is that the sides of the board have no predefined color: the black and white players do not have to declare in advance which pair of sides they attempt to connect, and the first player who completes a path across the board wins.

See also

References

  1. ^ a b Gardner, Martin (1959). Hexaflexagons and other Mathematical Diversions - The First Scientific American Book of Puzzles and Games. Simon and Schuster. pp. 73–75. ISBN 0-226-28254-6. 
  2. ^ Hex IAQ: What about mxn Hex?
  3. ^ Stefan Reisch (1981). "Hex ist PSPACE-vollständig (Hex is PSPACE-complete)". Acta Informatica (15): 167–191. 
  4. ^ On a decomposition method for finding winning strategy in Hex game, Jing Yang, Simon Liao and Mirek Pawlak, 2002
  5. ^ Solving 8x8 Hex, P. Henderson, B. Arneson, and R. Hayward, Proc. IJCAI-09 505-510 (2009)
  6. ^ David Gale (1979). "The Game of Hex and Brouwer Fixed-Point Theorem". The American Mathematical Monthly (Mathematical Association of America) 86 (10): 818–827. doi:10.2307/2320146. JSTOR 2320146. 
  7. ^ Complete rules of Mind Ninja
  8. ^ History and rules of Pex with the illustration, showing the board shape

External links